Byron Evans

Byron Reeves and Clifford Nass

Perceptual interfaces defined from a human perspective suggest similar topics (for example, vision, hearing, speech, touch), but radically different ideas about how sensory experience works and about how machines might change or facilitate human perception. The goal of a human-centered look at perceptual interfaces is to transform the world of computers into features of sensory experience that ...

Don Leon, Byron, and homosexual law reform.

George Gordon, Lord Byron 1788-1824.

The assertion of Lucifer, that the pre-Adamite world was also peopled by rational beings much more intelligent than man, and proportionably powerful to the mammoth, etc., etc., is, of course, a poetical fiction to help him to make out his case. Lord Byron señala a unas lagunas bíblicas y las utiliza para cuestionar los principios de nuestra fe y debatir la naturaleza de la maldad. También, las ...

Termination Proofs for Systems Code ∗ Byron

Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and context-sensitive program analysis and provides capacity for large program fragments (i.e. more than 20,000 lines of code) together with support for programming language features such as arbitrarily nested loops, pointers, ...

Thank Evans!

In this paper we give a complete solution to the conjecture of Evans made in 1960 that if n— 1 cells of an nxn matrix are preassigned with no element repeated in any row or column then the remaining n — n+ 1 cells can be filled so as to produce a latin square. We in fact prove the stronger statement that n cells can be preassigned except in certain cases which we specify.